大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IFIP Working Conference on Computer-aided Design Systems 的图书(共13382本)

New Frontiers in Artificial Intelligence [electronic resource] : JSAI 2007 Conference and Workshops, Miyazaki, Japan, June 18-22, 2007, Revised Selected Papers

0
索取号:
作者:Satoh、 Ken.、Inokuchi、 Akihiro.、Nagao、 Katashi.、Kawamura、 Takahiro.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Dynamics and Balancing of Multibody Systems [electronic resource]

0
索取号:
作者:Chaudhary、 Himanshu.、Saha、 Subir Kumar.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Verification, Model Checking, and Abstract Interpretation [electronic resource] : 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008. Proceedings

0
索取号:
作者:Logozzo、 Francesco.、Peled、 Doron A.、Zuck、 Lenore D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Large-Scale Knowledge Resources. Construction and Application [electronic resource] : Third International Conference on Large-Scale Knowledge Resources, LKR 2008, Tokyo, Japan, March 3-5, 2008. Proceedings

0
索取号:
作者:Tokunaga、 Takenobu.、Ortega、 Antonio.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Architecture of Computing Systems-ARCS 2008 [electronic resource] : 21st International Conference, Dresden, Germany, February 25-28, 2008. Proceedings

0
索取号:
作者:Brinkschulte、 Uwe.、Ungerer、 Theo.、Hochberger、 Christian.、Spallek、 Rainer G.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Advances in Web Based Learning-ICWL 2007 [electronic resource] : 6th International Conference Edinburgh, UK, August 15-17, 2007 Revised Papers

0
索取号:
作者:Leung、 Howard.、Li、 Frederick.、Lau、 Rynson.、Li、 Qing.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Formal Concept Analysis [electronic resource] : 6th International Conference, ICFCA 2008, Montreal, Canada, February 25-28, 2008. Proceedings

0
索取号:
作者:Medina、 Raoul.、Obiedkov、 Sergei.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Computational Linguistics and Intelligent Text Processing [electronic resource] : 9th International Conference, CICLing 2008, Haifa, Israel, February 17-23, 2008. Proceedings

0
索取号:
作者:Gelbukh、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Pillars of Computer Science [electronic resource] : Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday

0
索取号:
作者:Avron、 Arnon.、Dershowitz、 Nachum.、Rabinovich、 Alexander.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agent-Oriented Information Systems IV [electronic resource] : 8th International Bi-Conference Workshop, AOIS 2006, Hakodate, Japan, May 9, 2006 and Luxembourg, Luxembourg, June 6, 2006, Revised Selected Papers

0
索取号:
作者:Kolp、 Manuel.、Henderson-Sellers、 Brian.、Mouratidis、 Haralambos.、Garcia、 Alessandro.、Ghose、 Aditya K.、Bresciani、 Paolo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Pension Systems, Demographic Change, and the Stock Market [electronic resource]

0
索取号:
作者:Hillebrand、 Marten.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Hardware and Software: Verification and Testing [electronic resource] : Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23-25, 2007. Proceedings

0
索取号:
作者:Yorav、 Karen.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Agents and Multi-Agent Systems III. Adaptation and Multi-Agent Learning [electronic resource] : 5th, 6th, and 7th European Symposium, ALAMAS 2005-2007 on Adaptive and Learning Agents and Multi-Agent Systems, Revised Selected Papers

0
索取号:
作者:Tuyls、 Karl.、Nowe、 Ann.、Guessoum、 Zahia.、Kudenko、 Daniel.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Operations Research Proceedings 2007 [electronic resource] : Selected Papers of the Annual International Conference of the German Operations Research Society (GOR) Saarbr眉cken, September 5鈥笠2007

0
索取号:
作者:Kalcsics、 J枚rg.、Nickel、 Stefan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

RESPACE-Key Technologies for Reusable Space Systems [electronic resource] : Results of a Virtual Institute Programme of the German Helmholtz-Association, 2003 鈥ರ07

0
索取号:
作者:G眉lhan、 Ali.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Adaptive Backstepping Control of Uncertain Systems [electronic resource] : Nonsmooth Nonlinearities, Interactions or Time-Variations

0
索取号:
作者:Zhou、 Jing.、Wen、 Changyun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.
最近添加的分类